|
In mathematics, the étale cohomology groups of an algebraic variety or scheme are algebraic analogues of the usual cohomology groups with finite coefficients of a topological space, introduced by Grothendieck in order to prove the Weil conjectures. Étale cohomology theory can be used to construct ℓ-adic cohomology, which is an example of a Weil cohomology theory in algebraic geometry. This has many applications, such as the proof of the Weil conjectures and the construction of representations of finite groups of Lie type. ==History== Étale cohomology was suggested by , using some suggestions by J.-P. Serre, and was motivated by the attempt to construct a Weil cohomology theory in order to prove the Weil conjectures. The foundations were soon after worked out by Grothendieck together with Michael Artin, and published as Artin and SGA 4. Grothendieck used étale cohomology to prove some of the Weil conjectures (Dwork had already managed to prove the rationality part of the conjectures in 1960 using p-adic methods), and the remaining conjecture, the analogue of the Riemann hypothesis was proved by Pierre Deligne (1974) using ℓ-adic cohomology. Further contact with classical theory was found in the shape of the Grothendieck version of the Brauer group; this was applied in short order to diophantine geometry, by Yuri Manin. The burden and success of the general theory was certainly both to integrate all this information, and to prove general results such as Poincaré duality and the Lefschetz fixed point theorem in this context. Grothendieck originally developed étale cohomology in an extremely general setting, working with concepts such as Grothendieck toposes and Grothendieck universes. With hindsight, much of this machinery proved unnecessary for most practical applications of the étale theory, and gave a simplified exposition of étale cohomology theory. Grothendieck's use of these universes (whose existence cannot be proved in ZFC) led to some uninformed speculation that étale cohomology and its applications (such as the proof of Fermat's last theorem) needed axioms beyond ZFC. In practice étale cohomology is used mainly for constructible sheaves over schemes of finite type over the integers, and this needs no deep axioms of set theory: with a little care it can be constructed in this case without using any uncountable sets, and this can easily be done in ZFC (and even in much weaker theories). Étale cohomology quickly found other applications, for example Deligne and Lusztig used it to construct representations of finite groups of Lie type; see Deligne–Lusztig theory. 抄文引用元・出典: フリー百科事典『 ウィキペディア（Wikipedia）』 ■ウィキペディアで「Étale cohomology」の詳細全文を読む スポンサード リンク
|